Design, Specification and Verification of Interactive Systems ’97 124 Bei der KWK wird die

Bei der KWK wird die bei der elektrischen Stromerzeugung in hohem Maße anfallende Wärmemenge zu Heizzwecken genutzt

bei der Herstellung und dem Zusammenbau der Teile einer Maschine dem auf der Zeichnung dar­ gestellten Idealzustand so weit wie moglich nahezl

wählen KonsumentInnen seit der Wettbewerbsöffnung des Energiemarktes eigenständig ihre Stromversorgung und stellen Anbieter von regenerativ erzeugtem Strom vor die Herausforderung einer differenzierten Gestaltung von Angeboten im Grünstrommarkt

seinem Ursprungsland

die jeweilige Strategie des Unternehmens

Design, Specification and Verification of Interactive Systems ’97 124 Bei der KWK wird dieAn increasing recognition of the role of the human system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques